41. Computational logic
Author: / J .W .Lloyd ( ed )
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96C654
1990
42. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
K87
1993
43. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
Author: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
713
44. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1289
45. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
Author: J.W. Lloyd )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
C65
1990
46. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
Author: J.W. Lloyd )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
A96S97
1990
47. Higher order logic theorem proving and its applications :
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA76
.
9
.
H5
1995
48. Higher order logic theorem proving and its applications
Author: / Organized by CHEOPS ESPRIT BRA 3215
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96I34
1993
49. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I34
1992
50. Proceedings
Author: / M.E. Stickel, (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
I57
,
1990
51. Proceedings :
Author: M.E. Stickel, (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.,Logique symbolique et mathématique, Congrès.,Théorèmes-- Démonstration automatique, Congrès.,Automatic theorem proving.,Automatisches Beweisverfahren.,Inteligência artificial (conmputação),Logic, Symbolic and mathematical.,Kaiserslautern 1990, 7
Classification :
QA76
.
9
.
A96
I57
1990
52. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
.
I57
1990
53. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
Author: Jim Grundy, Malcolm Newey, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1479
54. Theorem proving with analytic tableaux and related methods :
Author: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
Classification :
QA76
.
9
.
A96
P484
1995
55. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
Author: P. Miglioli ... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1071
56. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
87
57. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
87
58. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Author: / edited by D.W. Loveland
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
C66
,
1982
59. 9th International Conference on Automated Deduction :
Author: E. Lusk, R. Overbeek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
Classification :
QA76
.
9
.
A96
I57
1988
